Nyman, Ulrik: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Real-time specifications

David, Alexandre, Larsen, Kim G., Legay, Axel, Nyman, Ulrik, Traonouez, Louis-Marie, Wąsowski, Andrzej

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 1.09 MB

english, 2015

2

Statistical Model Checking for Finite-Set Model Predictive Control Converters: A Tutorial on Modeling and Performance Verification

Novak, Mateja, Nyman, Ulrik Mathias, Dragicevic, Tomislav, Blaabjerg, Frede

Journal:

IEEE Industrial Electronics Magazine

Year:

2019

File:

PDF, 1.65 MB

2019

3

Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL

Han, Pujie, Zhai, Zhengjun, Nielsen, Brian, Nyman, Ulrik, Kristjansen, Martin

Journal:

Journal of Aerospace Information Systems

Year:

2019

Language:

english

File:

PDF, 2.41 MB

english, 2019

4

Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters

Novak, Mateja, Nyman, Ulrik Mathias, Dragicevic, Tomislav, Blaabjerg, Frede

Journal:

IEEE Transactions on Industrial Electronics

Year:

2018

Language:

english

File:

PDF, 11.43 MB

english, 2018

5

Selective internal radiation therapy in patients with carcinoid liver metastases

Granberg, Dan, Garske, Ulrike, Welin, Staffan, Kindmark, Henrik, Öberg, Kjell, Eriksson, Barbro, Nyman, Rickard

Journal:

Acta Oncologica

Year:

2008

Language:

english

File:

PDF, 97 KB

english, 2008

6

A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling

Boudjadar, Abdeldjalil, David, Alexandre, Kim, Jin Hyun, Larsen, Kim G., Mikučionis, Marius, Nyman, Ulrik, Skou, Arne

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.55 MB

english, 2015

7

Statistical and exact schedulability analysis of hierarchical scheduling systems

Boudjadar, Abdeldjalil, David, Alexandre, Kim, Jin Hyun, Larsen, Kim G., Mikučionis, Marius, Nyman, Ulrik, Skou, Arne

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 3.10 MB

english, 2016

8

[ACM Press the 18th International ACM SIGSOFT Symposium - Montréal, QC, Canada (2015.05.04-2015.05.08)] Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering - CBSE '15 - Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context

Kim, Jin Hyun, Boudjadar, Abdeldjalil, Nyman, Ulrik, Mikučionis, Marius, Larsen, Kim G., Skou, Arne, Lee, Insup, Thi Xuan Phan, Linh

Year:

2015

Language:

english

File:

PDF, 1.76 MB

english, 2015

9

[IEEE 2014 26th Euromicro Conference on Real-Time Systems (ECRTS) - Madrid, Spain (2014.7.8-2014.7.11)] 2014 26th Euromicro Conference on Real-Time Systems - Model Checking Process Algebra of Communicating Resources for Real-Time Systems

Boudjadar, A. Jalil, Kim, Jin Hyun, Larsen, Kim G., Nyman, Ulrik

Year:

2014

Language:

english

File:

PDF, 2.51 MB

english, 2014

10

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Mutation-Based Test-Case Generation with Ecdar

Larsen, Kim G., Lorber, Florian, Nielsen, Brian, Nyman, Ulrik M.

Year:

2017

Language:

english

File:

PDF, 434 KB

english, 2017

11

A modal specification theory for components with data

Bauer, Sebastian S., Larsen, Kim G., Legay, Axel, Nyman, Ulrik, Wąsowski, Andrzej

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 485 KB

english, 2014

12

SENSORY AND VASO-MOTOR DISTURBANCE IN FACIAL PARALYSIS.

Bauer, Sebastian S., Larsen, Kim G., Legay, Axel, Nyman, Ulrik, Wąsowski, Andrzej

Journal:

Year:

1892

Language:

english

File:

PDF, 187 KB

english, 1892

13

Modal and mixed specifications: key decision problems and their complexities

ANTONIK, ADAM, HUTH, MICHAEL, LARSEN, KIM G., NYMAN, ULRIK, WĄSOWSKI, ANDRZEJ

Journal:

Mathematical Structures in Computer Science

Year:

2010

Language:

english

File:

PDF, 756 KB

english, 2010

14

Modeling software product lines using color-blind transition systems

Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2007

Language:

english

File:

PDF, 1.38 MB

english, 2007

15

Optimizing the resource requirements of hierarchical scheduling systems

Kim, Jin Hyun, Legay, Axel, Traonouez, Louis-Marie, Boudjadar, Abdeldjalil, Nyman, Ulrik, Larsen, Kim G., Lee, Insup, Choi, Jin-Young

Journal:

ACM SIGBED Review

Year:

2016

Language:

english

File:

PDF, 1.38 MB

english, 2016

16

Factors Determining Immunological Response to Vaccination against Tick-Borne Encephalitis Virus in Older Individuals

Lindblom, Pontus, Wilhelmsson, Peter, Fryland, Linda, Matussek, Andreas, Haglund, Mats, Sjöwall, Johanna, Vene, Sirkka, Nyman, Dag, Forsberg, Pia, Lindgren, Per-Eric, Munderloh, Ulrike G.

Journal:

Year:

2014

Language:

english

File:

PDF, 1.94 MB

english, 2014

17

[IEEE 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) - Fukuoka, Japan (2017.11.5-2017.11.8)] 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) - Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU

Jensen, Peter Gjol, Larsen, Kim Guldstrand, Legay, Axel, Nyman, Ulrik

Year:

2017

Language:

english

File:

PDF, 579 KB

english, 2017

18

[IEEE 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE 18th International Symposium on Real-Time Distributed Computing - Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks

Boudjadar, Abdeldjalil, Kim, Jin Hyun, David, Alexandre, Mikucionis, Kim G. Larsen Marius, Nyman, Ulrik, Skou, Arne, Lee, Insup, Phan, Linh Thi Xuan

Year:

2015

Language:

english

File:

PDF, 619 KB

english, 2015

19

Compositional verification of real-time systems usingEcdar

Alexandre David, Kim. G. Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wąsowski

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 1.21 MB

english, 2012

20

EXPTIME-complete Decision Problems for Modal and Mixed Specifications

Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 374 KB

english, 2009

21

[IEEE 2014 Theoretical Aspects of Software Engineering Conference (TASE) - Changsha, China (2014.9.1-2014.9.3)] 2014 Theoretical Aspects of Software Engineering Conference - Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks

Boudjadar, A. Jalil, David, Alexandre, Kim, Jin Hyun, Larsen, Kim G., Mikucionis, Marius, Nyman, Ulrik, Skou, Arne

Year:

2014

Language:

english

File:

PDF, 701 KB

english, 2014

22

[IEEE 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT) - Cosenza, Italy (2019.10.7-2019.10.9)] 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT) - Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

Boudjadar, Jalil, Ramanathan, Saravanan, Easwaran, Arvind, Nyman, Ulrik

Year:

2019

File:

PDF, 5.85 MB

2019

23

Selective internal radiation therapy in patients with progressive neuroendocrine liver metastases

Barbier, Charlotte Ebeling, Garske-Román, Ulrike, Sandström, Mattias, Nyman, Rickard, Granberg, Dan

Journal:

European Journal of Nuclear Medicine and Molecular Imaging

Year:

2016

Language:

english

File:

PDF, 392 KB

english, 2016

24

[IEEE 2017 IEEE 18th Workshop on Control and Modeling for Power Electronics (COMPEL) - Stanford, CA, USA (2017.7.9-2017.7.12)] 2017 IEEE 18th Workshop on Control and Modeling for Power Electronics (COMPEL) - Analytical performance verification of FCS-MPC applied to power electronic converters: A model checking approach

Novak, Mateja, Dragicevic, Tomislav, Blaabjerg, Frede, Nyman, Ulrik Mathias

Year:

2017

Language:

english

File:

PDF, 1.18 MB

english, 2017

25

Statistical Model Checking for Finite-Set Model Predictive Control Converters: A Tutorial on Modeling and Performance Verification

Novak, Mateja, Nyman, Ulrik Mathias, Dragicevic, Tomislav, Blaabjerg, Frede

Journal:

IEEE Industrial Electronics Magazine

Year:

2019

Language:

english

File:

PDF, 1.65 MB

english, 2019

26

[IEEE IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Beijing (2017.10.29-2017.11.1)] IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Formal validation of supervisory energy management systems for microgrids

Sugumar, Gayathri, Selvamuthukumaran, Rajasekar, Dragicevic, Tomislav, Nyman, Ulrik, Larsen, Kim G., Blaabjerg, Frede

Year:

2017

Language:

english

File:

PDF, 571 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски